METHODS AND MODELS OF DISCRETE PROCESSES LOGIC CONTROL IN DISTRIBUTED COMPUTING SYSTEMS BASED ON THE CONCEPT OF HARMONIZATION 

Zinkina Nadezhda Sergeevna, Postgraduate student, Penza State University, vt@alice.pnzgu.ru 

004.4:004.7 

The article suggests a comprehensive methodology for designing devices and systems of complex distributed discrete processes logic control with parallel execution of operations. In the course of design the author puts an emphasis on the formal description of processes and their properties based on the concept of process coordination through space-structured memory. The article provides recommendations for distributed control systems implementation in hardware and software. 

logical control, discrete processes, asynchronous predicative-functional networks, formal models, distributed computer systems.